EPILOG[2]

A data-driven Prolog with both AND and OR parallelism.

"EPILOG = PROLOG + Data Flow", M. J. Wise, SIGPLAN Noices 17:80-86 (1982).